Actor model theory

Results: 106



#Item
21Logic programming / Non-classical logic / Substructural logic / Programming language / Mathematical logic / Logic / Prolog / Actor model / Linear logic / Software engineering / Computing / Programming language theory

c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:38:21
22Estimation theory / Cluster computing / Grid computing / Computer cluster / Actor model / Scalability / Middleware / Maximum likelihood / Likelihood function / Computing / Concurrent computing / Parallel computing

A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids Wei-Jen Wang† Kaoutar El Maghraoui† Boleslaw K. Szymanski†

Add to Reading List

Source URL: wcl.cs.rpi.edu

Language: English - Date: 2015-01-22 12:32:40
23Critical theory / Structuration / Anthony Giddens /  Baron Giddens / Privacy / University of Illinois at Urbana–Champaign / Actor model / Champaign / Champaign County /  Illinois / Illinois / Ethics

PDF Document

Add to Reading List

Source URL: www.governingwithcode.org

Language: English - Date: 2004-12-28 18:08:32
24Multi-agent systems / Agent-based model / Complex systems theory / Scientific modeling / Communications protocol / Conceptual model / Scientific modelling / Actor model / ODD / Computing / Ethology / Information

Microsoft Word - ODD Update

Add to Reading List

Source URL: www.railsback-grimm-abm-book.com

Language: English - Date: 2011-10-19 14:56:23
25Algorithmic Number Theory Symposium / Springer Science+Business Media / Actor model / RIS / TeX / Academic publishing / Proceedings / Book / Index / Publishing / Computing / Lecture Notes in Computer Science

Author Guidelines for the Preparation of Contributions to Springer Computer Science Proceedings Alfred Hofmann1,*, Ralf Gerstner1, Anna Kramer1, and Frank Holzwarth2 1 Springer-Verlag, Computer Science Editorial, Heidel

Add to Reading List

Source URL: www.cs.hku.hk

Language: English - Date: 2014-06-25 13:33:29
26Complex systems theory / Scientific modeling / Social simulation / Scientific modelling / Agent-based model / Epistemology / Actor model / Ethology / Simulation / Multi-agent systems / Science

Analysing Organisations using Simple Computational Models

Add to Reading List

Source URL: members.ozemail.com.au

Language: English - Date: 2011-02-16 21:28:29
27Computer science / Models of computation / Theoretical computer science / Formal methods / Computability theory / Lambda calculus / Actor model / Type safety / Programming language / Software engineering / Computing / Programming paradigms

Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University.

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2004-09-07 10:26:57
28Dependability / Quality / Safety / Safety engineering / Security / ALGOL 58 / Actor model / Eval / Model checking / Computing / Software engineering / Programming language theory

Microsoft Word - CoverPages-from-LAAS.doc

Add to Reading List

Source URL: www.resist-noe.org

Language: English - Date: 2007-07-16 10:09:10
29Malware / Models of computation / Algorithm / Software bug / KeY / Control theory / Actor model / MS Antivirus / Denotational semantics / Theoretical computer science / Applied mathematics / Computing

Function Extraction Technology: Computing the Behavior of Malware Rick Linger, Kirk Sayre, Tim Daly, Mark Pleszkoch CERT, Software Engineering Institute Carnegie Mellon University Pittsburgh, PA

Add to Reading List

Source URL: daly.axiom-developer.org

Language: English - Date: 2010-08-30 12:03:23
30Technology / Stochastic processes / IEEE standards / Latency / Network calculus / Ethernet / OMNeT++ / Actor model / Queueing theory / Network performance / Statistics / Computing

Evolving Robust Networks for Systems-of-Systems Jonathan Aitken Introduction  What technology are people using for networks?

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2012-03-14 09:11:32
UPDATE